Level set methods for computing reachable sets of systems with differential algebraic equation dynamics,” submitted September 2007 to

Abstract. In previous work we demonstrated that reachability algo-rithms using level set methods and based on the Hamilton-Jacobi PDE can be adapted to systems whose dynamics are described by differential algebraic equations. Here we extend those results to hybrid systems. The only significant addition required is a mechanism for handling the state reset that occurs during discrete jumps between modes. We demonstrate the technique on a nonlinear power system voltage safety problem.